more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 18789

[filed under theme 4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic ]

Full Idea

Intuitionist logic appears most attractive in the form of a natural deduction system.

Gist of Idea

Intuitionist logic looks best as natural deduction

Source

Edwin D. Mares (Negation [2014], 5.5)

Book Ref

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.200

Related Idea

Idea 18790 Intuitionism as natural deduction has no rule for negation [Mares]